Axiomatizing modal inclusion logic

Modal inclusion logic is modal logic extended with inclusion atoms. It is the modal variant of first-order inclusion logic, which was introduced by Galliani (2012). Inclusion logic is a main variant of dependence logic (Väänänen 2007). Dependence logic and its variants adopt team semantics, introduced by Hodges (1997). Under team semantics, a modal (inclusion) logic formula is evaluated in a set of states, called a team. The inclusion atom is a type of dependency atom, which describes that the possible values a sequence of formulas can obtain are values of another sequence of formulas. In this thesis, we introduce a sound and complete natural deduction system for modal inclusion logic, which is currently missing in the literature. The thesis consists of an introductory part, in which we recall the definitions and basic properties of modal logic and modal inclusion logic, followed by two main parts. The first part concerns the expressive power of modal inclusion logic. We review the result of Hella and Stumpf (2015) that modal inclusion logic is expressively complete: A class of Kripke models with teams is closed under unions, closed under k-bisimulation for some natural number k, and has the empty team property if and only if the class can be defined with a modal inclusion logic formula. Through the expressive completeness proof, we obtain characteristic formulas for classes with these three properties. This also provides a normal form for formulas in MIL. The proof of this result is due to Hella and Stumpf, and we suggest a simplification to the normal form by making it similar to the normal form introduced by Kontinen et al. (2014). In the second part, we introduce a sound and complete natural deduction proof system for modal inclusion logic. Our proof system builds on the proof systems defined for modal dependence logic and propositional inclusion logic by Yang (2017, 2022). We show the completeness theorem using the normal form of modal inclusion logic

They often call me Mr : A qualitative study about the Swedish labour authority’s intercultural communication work

I Sverige ökar antalet nyanlända människor som ska etablera sig i det svenska samhället. Sysselsättning och deltagande på den svenska arbetsmarknaden har visat sig vara grundläggande för att integrering av nyanlända ska ske så snabbt som möjligt. Samtidigt är Arbetsförmedlingen en av de allra första myndigheterna som en nyanländ möter i Sverige. Studien har därmed avsett att undersöka Arbetsförmedlingens interkulturella kommunikationsarbete med syfte att bringa klarhet kring hur en svensk myndighet arbetar gentemot dess multikulturella befolkning. Myndighetens kommunikationsarbete har studerats utifrån begreppet interkulturell kommunikation inom organisationer och studien bygger på fem stycken semistrukturerade intervjuer och en gruppintervju med anställda vid Arbetsförmedlingen.     Resultatet av studien visar att myndigheten i högsta grad arbetar med interkulturell kommunikation gentemot deras nyanlända medborgare, samtidigt som många hinder försvårar myndighetens kommunikationsarbete. Språket är den främsta svårigheten, där tolkens roll blir oerhört viktig och antingen hjälper eller stjälper kommunikationen. Samtidigt bidrar många andra orsaker, så som svagt förtroende för myndigheter, traumatiserade människor eller bristande resurser till att myndigheten inte kan utföra sitt kommunikativa arbete på bästa sätt.In Sweden, the numbers of immigrants are constantly increasing. Participation at the Swedish labour market is crucial when it comes to a successful establishment for the newcomers. Arbetsförmedlingen (the Swedish labour authority), is also one of the first authorities a newcomer encounters once in Sweden. With this in consideration, this study was designed to investigate the intercultural communication work at Arbetsförmedlingen with the aim to bring clarity around how a Swedish authority works toward its growing multicultural population. We have studied Arbetsförmedlingens communicational work based on the concept of intercultural communication within organizations. The study is based on four semi-structured interviews and one group interview with employees at Arbetsförmedlingen.   The result of the study shows that the government authority works with intercultural communication towards their newcomers on a high level but obstacles in the intercultural communication hamper the communicational efforts. Language barriers are seen as the main difficulty, and the interpreter’s role becomes extremely important and can either help or hinder the communication. At the same time, many other difficulties are contributing to communicational problems for the authority. Lack of trust in authorities, traumatized people and lack of resources hinders the authority to achieve a truly good intercultural communication.